Some Results on Differential Gröbner Bases
نویسنده
چکیده
We establish some results in the theory of standard bases of differential ideals (also known as differential Gröbner bases) in differential polynomial rings. This work was stimulated by some articles of V. Weispfenning, devoted to the classification of term-orders and parametric Gröbner bases of ideals generated by monomials and binomials.
منابع مشابه
On Computing Gröbner Bases in Rings of Differential Operators with Coefficients in a Ring
Following the definition of Gröbner bases in rings of differential operators given by Insa and Pauer(1998), we discuss some computational properties of Gröbner bases arising when the coefficient set is a ring. First we give examples to show that the generalization of S-polynomials is necessary for computation of Gröbner bases. Then we prove that under certain conditions the G-S-polynomials can ...
متن کاملGröbner bases in difference - differential modules and their applications ∗ October 24 , 2005
In this paper we will extend the theory of Gröbner bases to differencedifferential modules which were introduced by Levin(2000) as a generalization of modules over rings of differential operators. The main goal of this paper is to present and verify algorithms for constructing these Gröbner basis counterparts. To this aim we define the concept of ”generalized term order” on N×Z and on differenc...
متن کاملComputing difference-differential dimension polynomials by relative Gröbner bases in difference-differential modules
In this paper we present a new algorithmic approach for computing the Hilbert function of a finitely generated difference-differential module equipped with the natural double filtration. The approach is based on a method of special Gröbner bases with respect to “generalized term orders” on Nm × Zn and on difference-differential modules. We define a special type of reduction for two generalized ...
متن کاملGeneric Gröbner Bases: Application to the Constructibility of the Set of the Algebraic and Analytic Gröbner Fans
The contribution of this paper lies in two aspects. The first one deals with a natural notion of generic Gröbner (or standard) bases on an irreducible affine scheme for an ideal depending on parameters. This takes place in rings of differential operators and concerns the algebraic and the formal case. This gives a generalization of some results of V. Weispfenning obtained in a commutative and a...
متن کاملMiddle-Solving Grobner bases algorithm for cryptanalysis over finite fields
Algebraic cryptanalysis usually requires to recover the secret key by solving polynomial equations. Gröbner bases algorithm is a well-known method to solve this problem. However, a serious drawback exists in the Gröbner bases based algebraic attacks, namely, any information won’t be got if we couldn’t work out the Gröbner bases of the polynomial equations system. In this paper, firstly, a gener...
متن کامل